l{-}ordered($T$;$x$,$y$.$R$($x$;$y$);$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$, $y$:$T$. $x$ before $y$ $\in$ $L$ $\Rightarrow$ $R$($x$;$y$)